defined names - German English Dictionary